Suchergebnis

zu den Filteroptionen
Suche nach: Schlagwort = Bertinoro <2014> und Sammlung = ULB Düsseldorf
  • Titelblatt
    Integrated formal methods
    11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
    Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro>
    Cham [u.a.] : Springer, 2014